2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Worlds of Music: An Introduction to the Music of the World's Peoples , Fifth Edition
Автор:
Jeff Todd Titon
, Автор:
Timothy J. Cooley
, Автор:
David Locke
, Автор:
David P. McAllester
, Автор:
Anne K. Rasmussen
Размер книги: 20.73 Mb
Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000 (Lecture Notes in Artificial Intelligence 1831)
Автор:
David A. McAllester
Размер книги: 4.06 Mb
Worlds of Music : An Introduction to the Music of the World’s Peoples , Shorter Version, Third Edition
Автор:
Jeff Todd Titon
, Автор:
Timothy J. Cooley
, Автор:
David Locke
, Автор:
David P. McAllester
, Автор:
Anne K. Rasmussen
Размер книги: 25.09 Mb
Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings
Автор:
Harald Ganzinger
, Автор:
David McAllester
, Автор:
Andrei Voronkov
Размер книги: 21.68 Mb
Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
Автор:
David McAllester
Размер книги: 5.04 Mb
